mathematical logic 详细解释

mathematical logic

数理逻辑

词形变化

副词: mathematically | 异体字: mathematic |

英英释义

名词 mathematical logic:

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

同义词:symbolic logic, formal logic

补充

mathematical logicmathematical logic1.数理逻辑